Boolean model

Results: 352



#Item
331Discounted cumulative gain / Ranking / Precision and recall / Relevance / Search engine indexing / Extended Boolean model / Search engine / Web search engine / Supervised learning / Information science / Information retrieval / Learning to rank

[removed]A tutorial at WWW 2009

Add to Reading List

Source URL: www2009.org

Language: English - Date: 2009-04-13 18:58:45
332Sheaf theory / Topos / Boolean algebra / Order theory / Model theory / Algebraic structures / Sheaf / Interior algebra / Uniform space / Mathematics / Topology / Mathematical logic

Toposes pour les vraiment nuls Steven Vickers June 1, 2009

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-06-01 04:58:19
333Universal algebra / Variety / Von Neumann algebra / Boolean algebra / Interior algebra / Abstract algebra / Algebra / Mathematics

A Model Theoretic Oriented Approach to Partial Algebras Peter Burmeister1

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2002-12-08 14:14:32
334Model theory / Satisfiability Modulo Theories / Interpretation / Boolean satisfiability problem / Well-formed formula / Structure / Uninterpreted function / Theory / Signature / Logic / Mathematical logic / Mathematics

Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press, 2008

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2009-01-24 01:34:38
335Vector space model / Learning to rank / Tf*idf / Precision and recall / Relevance / Search engine indexing / Inverted index / Extended Boolean model / Fuzzy retrieval / Information science / Information retrieval / Science

PDF Document

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2009-04-01 00:40:24
336Mathematical logic / Algebraic structures / Algebraic logic / Axiom / Model theory / Boolean algebras canonically defined / Outline of algebraic structures / Abstract algebra / Mathematics / Boolean algebra

PDF Document

Add to Reading List

Source URL: www.wiley.com

Language: English - Date: 2000-10-16 11:54:44
337Mathematical logic / Algebraic structures / Algebraic logic / The Laws of Thought / George Boole / Propositional calculus / Boolean ring / Algebra / Model theory / Abstract algebra / Mathematics / Boolean algebra

PDF Document

Add to Reading List

Source URL: www.math.uwaterloo.ca

Language: English - Date: 2001-07-03 17:39:10
338Forcing / Boolean algebra / Order theory / Model theory / Complete Boolean algebra / Boolean-valued model / First-order logic / Constructible universe / FO / Mathematical logic / Mathematics / Logic

PDF Document

Add to Reading List

Source URL: www.logic.math.helsinki.fi

Language: English - Date: 2010-05-30 08:55:18
339Metalogic / Model theory / Logical syntax / Formal languages / FO / Well-formed formula / First-order logic / Satisfiability / True quantified Boolean formula / Logic / Mathematics / Mathematical logic

PDF Document

Add to Reading List

Source URL: www.logic.rwth-aachen.de

Language: English - Date: 2007-04-25 06:02:11
340Search algorithms / Binary decision diagram / Boolean algebra / Diagrams / Model checking / Network flow / Breadth-first search / Dynamic programming / Centrality / Mathematics / Graph theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: www.informatik.uni-kiel.de

Language: English - Date: 2010-10-19 06:16:50
UPDATE